1. Abstract state machines, B and
پدیدآورنده : / Egon Beorger ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
2. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
3. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
4. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
5. An introduction to formal specification and Z
پدیدآورنده : Potter, Ben
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer software -- Development,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
6. An introduction to formal specification and Z
پدیدآورنده : Potter, Ben.
کتابخانه: (طهران)
موضوع : Computer software - Development , Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1990
7. An introduction to formal specification and Z
پدیدآورنده : Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع : Computer software - Geotools,Z )Computer program language(
رده :
QA
76
.
76
.
D47
8. An introduction to formal specification and Z
پدیدآورنده : Potter, Ben.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development ، Computer software,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1991
9. Formal Specification Using Z
پدیدآورنده : / David lightfood,Lightfoot
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Z (Computer Program language),Formal languages
رده :
QA
76
.
73
.
Z2L5
1991
10. Formal object-oriented specification using object-Z
پدیدآورنده : Duke, Roger
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
.
D85
2000
11. Formal object-oriented specification using object-Z
پدیدآورنده : Duke, Roger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
D85
2000
12. Formal specification and documentation Using Z: a case study approach
پدیدآورنده : Bowen, Jonathan Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
13. Formal specification and documentation using Z : a case study approach
پدیدآورنده : Bowen, Jonathan
کتابخانه: (طهران)
موضوع : Z )Computer program language( , Computer software - Development
رده :
QA
76
.
73
.
Z2
B68
1996
14. Formal specification using Z
پدیدآورنده : Lightfoot, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
.
L5
2001
15. Formal specification using Z
پدیدآورنده : Lightfoot, David
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
L54
2001
16. Formal specification using Z: a modelling approach
پدیدآورنده : Bottaci, Leon.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Z )Computer program language(
رده :
QA
76
.
73
.
Z2
.
B68
1995
17. Formal specification using Z: a modelling approach
پدیدآورنده : Bottaci, Leonardo
کتابخانه: (طهران)
موضوع : Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
18. Microcomputing in Basic on the RML 380Z/480z
پدیدآورنده : McDonough, W.R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Research Machines RML 083z-Programming,، BASIC )Computer program language(,Research Machines RML 084z - Programming
رده :
QA
76
.
8
.
R4
M33
1983
19. Microcomputing in basic on the RML 380Z / 480Z
پدیدآورنده : McDonough, W R
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Research Machines RML 083Z - Programming,، Basic )computer program language(,، Research Machines RML 084Z - Programming
رده :
QA
76
.
8
.
R4
M33
1983
